package com.example.demo2.service;

import com.example.demo2.entity.Result;
import org.springframework.data.domain.Page;

import java.util.List;

/**
 * ResultService 接口定义了获取结果数据的服务方法
 * 主要功能是根据公式获取分页的结果数据
 * @version 1.0
 * @date 2024/6/20 15:36
 */
public interface ResultService {

    /**
     * 根据公式获取结果的分页数据
     * @param formula 查询的公式
     * @param page 页码
     * @param size 每页大小
     * @return 分页的结果数据
     */
    Page<Result> getResultsByFormula(String formula, int page, int size);
    Page<Result> getResultsByFormulaAndName(String formula, String name, int page, int size); // 新增方法
    List<Result> getResultsByName(String name);
    List<String> getAllResultNames();
}
